<HTML>
<BODY>
Random numbers generation: engine and distribution.
</BODY>
</HTML>